Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
121	Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr Introduction Add to Reading List Source URL: www.msr-inria.fr Language: English - Date: 2015-01-29 08:56:57 Finite groups Metalogic Mathematical logic Mathematical proofs Coq Feit–Thompson theorem Proof assistant Dade isometry Fundamental theorem of algebra Mathematics Abstract algebra Algebra
122	Baltic Way 2008 Gdansk, ´ November 8, 2008 Problems and solutions Problem 1. Determine all polynomials p(x) with real coefficients such that Add to Reading List Source URL: www.georgmohr.dk Language: English - Date: 2011-07-24 09:51:26 Mathematical analysis Trigonometric functions Sine Mathematical fallacy Triangle Proofs of trigonometric identities Proof that π is irrational Mathematics Geometry Trigonometry
123	Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version) Daniel Kraschewski J¨orn M¨ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-04-04 07:41:10 Communication Function Inverse function Information theory Bijection Combinatory logic Finitary relation Mathematics Functions and mappings Mathematical logic
124	Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France Email: {vivien.maisonneuve, olivier.hermant, francois.ir Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-03-20 04:36:28 Mathematics Computing Mathematical proofs Dc cross-platform software Double-precision floating-point format Arbitrary-precision arithmetic Floating point Mathematical fallacy Computer arithmetic Data types Computer architecture
125	Motivation Identifying Standard Theories Extracting Proofs Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:28:46 Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic Theoretical computer science Logic
126	A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´ Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:17:21 Symbol Mathematics Curry–Howard correspondence Logic Natural deduction Proof theory Logic in computer science Mathematical logic
127	Ph125c lecture notes, More on generalized measurement Let’s revisit a problem we considered at the very beginning of this course, on the optimal measurement to distinguish between two non-orthogonal states. Sa Add to Reading List Source URL: www.its.caltech.edu Language: English - Date: 2001-05-24 12:20:34 Trigonometry Celestial mechanics Orbits Curves Integral calculus Proofs of trigonometric identities Orbital perturbation analysis Geometry Mathematics Mathematical analysis
128	Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics
129	Agassi, The Lakatosian Revolution 1 R. S. Cohen et al. (eds.), Essays in Memory of Imre LakatosJoseph Agassi Add to Reading List Source URL: www.tau.ac.il Language: English - Date: 2005-09-12 15:10:12 Science studies Philosophers of science Philosophers of mathematics Imre Lakatos Philosophy of mathematics Proofs and Refutations Scientific method Mathematical proof Function Science Mathematics Knowledge
130	Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models Jasmin Christian Blanchette1? and Koen Claessen2 2 1 Institut für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical proofs Inductive reasoning Mathematical induction Graph theory Structural induction Constructible universe First-order logic Automated theorem proving Mathematics Logic Mathematical logic

UPDATE